斯图亚特·考夫曼供职于圣达菲研究院。身为麦克阿瑟学会的研究员，他是自组织理论和复杂性理论在生物学上的应用方面的前沿思想家。著有《秩序的起源:进化中的自组织和自然选择》等书。 李绍明，男，1956年生于山东高密。现任山东大学外国语学院英语副教授。译作有《细胞生命的礼赞》、《水母与蜗牛》、《摄影大师500经典巨作》、《祭司与王制》、《欧罗巴的黄金时代》;著有《大学英语写作》;编有《英语散文名篇欣赏》等。 徐彬，男，教师，IT撰稿人。就职于山东师范大学外国语学院。

斯图亚特·考夫曼供职于圣达菲研究院。身为麦克阿瑟学会的研究员，他是自组织理论和复杂性理论在生物学上的应用方面的前沿思想家。著有《秩序的起源:进化中的自组织和自然选择》等书。 李绍明，男，1956年生于山东高密。现任山东大学外国语学院英语副教授。译作有《细胞生命的礼赞》、《水母与蜗牛》、《摄影大师500经典巨作》、《祭司与王制》、《欧罗巴的黄金时代》;著有《大学英语写作》;编有《英语散文名篇欣赏》等。 徐彬，男，教师，IT撰稿人。就职于山东师范大学外国语学院。

斯图亚特·考夫曼供职于圣达菲研究院。身为麦克阿瑟学会的研究员，他是自组织理论和复杂性理论在生物学上的应用方面的前沿思想家。著有《秩序的起源:进化中的自组织和自然选择》等书。 李绍明，男，1956年生于山东高密。现任山东大学外国语学院英语副教授。译作有《细胞生命的礼赞》、《水母与蜗牛》、《摄影大师500经典巨作》、《祭司与王制》、《欧罗巴的黄金时代》;著有《大学英语写作》;编有《英语散文名篇欣赏》等。 徐彬，男，教师，IT撰稿人。就职于山东师范大学外国语学院。

斯图亚特·考夫曼供职于圣达菲研究院。身为麦克阿瑟学会的研究员，他是自组织理论和复杂性理论在生物学上的应用方面的前沿思想家。著有《秩序的起源:进化中的自组织和自然选择》等书。 李绍明，男，1956年生于山东高密。现任山东大学外国语学院英语副教授。译作有《细胞生命的礼赞》、《水母与蜗牛》、《摄影大师500经典巨作》、《祭司与王制》、《欧罗巴的黄金时代》;著有《大学英语写作》;编有《英语散文名篇欣赏》等。 徐彬，男，教师，IT撰稿人。就职于山东师范大学外国语学院。

查尔斯•科克尔（Charles S. Cockell），英国爱丁堡大学天体生物学教授，英国天体生物学中心主任。多年来，他致力于对恶劣条件下的生命特征、外星生物的宜居性，以及太空探索和移居等课题的研究。他曾在美国国家航空航天局和英国南极观测站工作，对北极和南极以及其他恶劣天气环境下的生命特征都有研究，发表过300多篇论文和多部著作。

查尔斯•科克尔（Charles S. Cockell），英国爱丁堡大学天体生物学教授，英国天体生物学中心主任。多年来，他致力于对恶劣条件下的生命特征、外星生物的宜居性，以及太空探索和移居等课题的研究。他曾在美国国家航空航天局和英国南极观测站工作，对北极和南极以及其他恶劣天气环境下的生命特征都有研究，发表过300多篇论文和多部著作。

この作品は、2015年1月に講談社ノベルスとして刊行されました。講談社文庫刊行にあたって加筆修正されています。 雪山の洋館での殺人。犯人は双子のどちらか。なのにいずれが犯人でも矛盾。この不可解な事件を奇蹟の実在を信じる探偵・上苙丞（うえおろじょう）が見事解決ーーと思いきや、癒やし系天才美人学者の硯（すずり）さんは、その推理を「数理論理学」による検証でひっくり返す！！　他にも個性豊かな名探偵たちが続々登場。名探偵を脅かす推理の検証者、誕生！　大ヒットミステリー『その可能性はすでに考えた』はここから始まった！？ それは、「推理」でなく「検証」。 探偵を補完するもう一つの存在・推理の「検証者（ベリファイア）」、見参！ 大ヒット『その可能性はすでに考えた』はここから始まった！？ 雪山の洋館での殺人。犯人は双子のどちらか。なのにいずれが犯人でも矛盾。 この不可...(展开全部)

解決したはずの殺人事件。 癒やし系数理論理学者の証明で 世界は反転する……!! 真実は、演算できる。 大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。独身でアラサー美人の彼女に、名探偵が解決したはずの、殺人事件の真相を証明してもらうために……。 詠彦が次々と持ち込む事件――「手料理は殺意か祝福か?」「『幽霊の証明』で絞殺犯を特定できるか?」「双子の『どちらが』殺したのか?」――と、個性豊かすぎる名探偵たち。「すべての人間の思索活動の頂点に立つ」という数理論理学で、硯さんはすべての謎を、証明できるのか!?

解決したはずの殺人事件。 癒やし系数理論理学者の証明で 世界は反転する……!! 真実は、演算できる。 大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。独身でアラサー美人の彼女に、名探偵が解決したはずの、殺人事件の真相を証明してもらうために……。 詠彦が次々と持ち込む事件――「手料理は殺意か祝福か?」「『幽霊の証明』で絞殺犯を特定できるか?」「双子の『どちらが』殺したのか?」――と、個性豊かすぎる名探偵たち。「すべての人間の思索活動の頂点に立つ」という数理論理学で、硯さんはすべての謎を、証明できるのか!?

小心・真面目なサラリーマン古田は、近く退社するという部下の女子社員と一世一代の不倫を計画していた。だが、その当日、妻が会社に来る。娘が妻子ある男と同棲を始めようとしていたのだ。「遊びか、真剣か」とつめよる古田に男は「遊びだ」とうそぶく。不倫をテーマに、微妙な人間心理と家族のあり方を描く。